Abstract object

Results: 832



#Item
321Abstract data types / C++ Standard Library / Associative arrays / Object-oriented programming / Data types / Symbol / Iterator / Container / Associative containers / Computing / Software engineering / Computer programming

Precise Reasoning for Programs Using Containers Isil Dillig Thomas Dillig Alex Aiken

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2011-01-25 02:18:41
322Computer programming / Network performance / Streaming / Telecommunications engineering / Teletraffic / Quality of service / Common Object Request Broker Architecture / TAO / Middleware / Computing / Software engineering / CORBA

Emerging Patterns in Adaptive, Distributed Real-Time, Embedded Middleware Joseph P. Loyall, Paul Rubel, Richard Schantz, Michael Atighetchi, John Zinky BBN Technologies Abstract Distributed real-time embedded (DRE) appli

Add to Reading List

Source URL: www.hillside.net

Language: English - Date: 2004-02-16 17:18:28
323Software engineering / Software / Operations research / Modelica / Mathematical optimization / Control theory / JModelica.org / Optimal control / Model predictive control / Simulation software / Application software / Object-oriented programming

Tool Demonstration Abstract: OpenModelica and CasADi for Model-Based Dynamic Optimization Alachew Shitahun1 Vitalij Ruge2

Add to Reading List

Source URL: www.ep.liu.se

Language: English - Date: 2013-03-26 11:28:54
324Extreme programming / Software testing / Software design patterns / Method / Object-oriented programming / Mock object / Unit testing / Test-driven development / Factory method pattern / Software development / Computing / Software engineering

Don’t Mock Me: Design Considerations for Mock Objects Jeff Langr Langr Software Solutions Abstract Mock objects, an object-oriented testing construct

Add to Reading List

Source URL: agile2004.agilealliance.org

Language: English - Date: 2004-06-14 09:06:18
325Algebraic geometry / Field theory / Valuation / PP / Combinatory logic / Assignment / Grothendieck topology / Lambda calculus / Theoretical computer science / Abstract algebra / Mathematics

Optimal Inter-Object Correlation When Replicating for Availability Haifeng Yu Phillip B. Gibbons

Add to Reading List

Source URL: www.comp.nus.edu.sg

Language: English - Date: 2007-06-14 22:31:40
326Algebraic structures / Field theory / Mathematical structures / Ring theory / Polynomial / Emmy Noether / Ring / Field / Finite field / Abstract algebra / Algebra / Mathematics

Exploring the synergies between the Object-Oriented paradigm and Mathematics: a Java led approach MARC CONRAD Department of Computing and Information Systems University of Luton Park Square, Luton, LU1 3JU, United Kingdo

Add to Reading List

Source URL: ring.perisic.com.

Language: English - Date: 2003-12-13 23:14:28
327Mental processes / Knowledge / Cognitive science / Vision / Computer vision / Object recognition / 3D single object recognition / Philosophy of perception / Color / Mind / Perception / Philosophy of mind

PR2 Looking at Things – Ensemble Learning for Unstructured Information Processing with Markov Logic Networks Daniel Nyga1 , Ferenc Balint-Benczedi2 and Michael Beetz2 Abstract— We investigate the perception and reas

Add to Reading List

Source URL: ai.uni-bremen.de

Language: English - Date: 2015-02-04 06:50:04
328Object-oriented programming / Simulation software / Modelica / Debuggers / GNU Debugger / Debugging / Integrated development environment / Breakpoint / MathModelica / Computer programming / Software engineering / Computing

Tool Demonstration Abstract: OpenModelica Graphical Editor and Debugger

Add to Reading List

Source URL: www.ep.liu.se

Language: English - Date: 2013-03-26 11:29:38
329Metadata / Universal identifiers / Broadcast engineering / ISO/IEC 11179 / Digital object identifier / International Standard Audiovisual Number / Material Exchange Format / Digital supply chain / Globally unique identifier / Information / Data / Identifiers

EFFICIENT WORKFLOWS FOR AUTOMATED RICH METADATA PRODUCTION Richard Kirk, Red Bee Media, UK Ben Schofield, EIDR, UK Don Dulchinos, EIDR, US ABSTRACT

Add to Reading List

Source URL: www.eidr.org

Language: English - Date: 2015-02-04 16:35:44
330Vertex / Nearest neighbor graph / Object recognition / Graph coloring / Graph operations / Edge coloring / Graph theory / Graph / Matching

A Stable Graph-Based Representation for Object Recognition through High-Order Matching A. Albarelli, F. Bergamasco, L. Rossi, S. Vascon and A. Torsello Universit`a Ca’ Foscari Venezia www.dais.unive.it Abstract

Add to Reading List

Source URL: www.cs.bham.ac.uk

Language: English - Date: 2015-03-30 09:03:51
UPDATE